Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
471	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
472	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
473	Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-10 19:40:43 Probabilistic complexity theory IP Probabilistically checkable proof NP Vector space Soundness MAX-3SAT Algebra Mathematics Theoretical computer science
474	Lecture on undecidability July 27, 2011 inofficial script based on a lecture by Michael M. Wolf (TU München) Add to Reading List Source URL: problem24.files.wordpress.com Language: English - Date: 2011-07-27 08:48:45 Computer science Computable function Halting problem Church–Turing thesis Turing machine Algorithm Busy beaver Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
475	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:07 Applied mathematics Theory of computation Systems Complex systems theory Cybernetics Computable function Church–Turing thesis Complexity Hypercyclic morphogenesis Theoretical computer science Science Computability theory
476	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science
477	A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-03-12 01:21:32 Complexity classes Cryptography Probabilistic complexity theory Circuit complexity IP Commitment scheme NP Randomized algorithm XTR Theoretical computer science Computational complexity theory Applied mathematics
478	Jürgen Schmidhuber Philosophers & Futurists, Catch Up! Response to The Singularity Add to Reading List Source URL: people.idsia.ch Language: English - Date: 2012-03-14 10:08:45 Time Futurology Theory of computation Philosophy of artificial intelligence Singularitarianism Jürgen Schmidhuber Friendly artificial intelligence Marcus Hutter Gödel machine Science Artificial intelligence Theoretical computer science
479	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
480	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we Add to Reading List Source URL: forsyte.at Language: English - Date: 2014-06-05 05:53:48 Fault-tolerant computer systems Fault tolerance Cryptography Theory of computation Consensus Model checking Distributed computing Byzantine fault tolerance Distributed algorithm Computing Theoretical computer science Concurrent computing

UPDATE